Reasoning system - PDFSEARCH.IO - Document Search Engine

Reasoning system
Results: 468

#	Item
401	A Universal Automated Information System for Science and Technology Peter B. Andrews Carnegie Mellon University, Pittsburgh, PA, U.S.A. [removed] http://gtps.math.cmu.edu/andrews.html Add to Reading List Source URL: gtps.math.cmu.edu Language: English - Date: 2011-01-31 14:57:26 Automated theorem proving Mathematical logic Reasoning Logical syntax Formal methods Reasoning system Automated reasoning Formal proof Theorem Logic Mathematics Science
402	Looking Ahead ? ?? Peter B. Andrews Carnegie Mellon University, Pittsburgh, PA, U.S.A. Add to Reading List Source URL: gtps.math.cmu.edu Language: English - Date: 2013-05-11 14:08:31 Automated theorem proving Formal methods Formal systems Reasoning system Automated reasoning Mathematical logic Axiom Theorem Formal proof Logic Reasoning Logical syntax
403	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) A formally verified compiler back-end Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-10-29 04:36:18 Compiler construction Programming language implementation Type theory Compilers Procedural programming languages Compiler Type system Formal verification Type safety Software engineering Computing Software
404	RuleML 2009 Bellagio, Las Vegas, NV, USA 5 – 7 November 2009 Program Day 1: Thursday, November[removed] Add to Reading List Source URL: 2009.ruleml.org Language: English - Date: 2014-02-21 01:21:36 Computing RuleML Semantic Web Rule Language Rule-based system Defeasible logic Defeasible reasoning Business rules engine Drools Knowledge representation and reasoning Rule engines Artificial intelligence Science
405	PDF Document Add to Reading List Source URL: www.computer.org Language: English - Date: 2012-02-29 13:44:38 Semantic Web Computer science Ontology Machine learning Knowledge representation and reasoning Multi-agent system Semantic technology Data mining Ambient intelligence Science Artificial intelligence Knowledge
406	Simply Logical Intelligent Reasoning by Example Peter Flach University of Bristol, United Kingdom Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2007-10-02 07:09:20 Reasoning Logic programming Prolog Logic Reason Robert Kowalski Reasoning system Inference Science Software engineering Knowledge
407	DREDGABL and GEOSITE Knowledge-Based Expert System Geotechnical Decision Support Tools for Dredging Computer software/hardware that mimics subjective & objective reasoning of Add to Reading List Source URL: docs.pianc.us Language: English - Date: 2014-04-11 11:27:57 Human–computer interaction Usability Expert system Geotechnical engineering Knowledge base Knowledge Science Technical communication Artificial intelligence Technology
408	MODULE TITLE: Intelligent Systems MODULE CODE: Add to Reading List Source URL: cis.ulster.ac.uk Language: English - Date: 2013-06-12 10:33:23 Computational intelligence Reasoning system Hybrid intelligent system Neural network Fuzzy control system Fuzzy logic Intelligent agent Machine learning Genetic algorithm Artificial intelligence Science Cybernetics
409	MuPAD-Combinat Copyleft[removed]by the MuPAD-Combinat team http://mupad-combinat.sf.net/ Why contribute to a Computer Algebra System? • Research in algebraic combinatorics benefits greatly from computer aided explora Add to Reading List Source URL: mupad-combinat.sourceforge.net Language: English - Date: 2005-07-11 06:54:20 Symmetric functions Representation theory of finite groups Algebraic combinatorics Invariant theory Representation theory Young tableau Littlewood–Richardson rule MuPAD International Conference on Automated Reasoning with Analytic Tableaux and Related Methods Abstract algebra Algebra Mathematics
410	Barkatullah University Institute of Technology, B.U., Bhopal ADVANCED DATA STRUCTURE AND ALGORITHM – MCS-11 Theory Paper – 100 Marks Sessional – 50 Marks Unit I Add to Reading List Source URL: www.buit.ac.in Language: English - Date: 2009-09-30 06:11:42 Cybernetics Neural networks Computational statistics Control engineering Artificial neural network Distributed computing Neuro-fuzzy Reasoning system Computer security Science Computational neuroscience Artificial intelligence

UPDATE